home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / demos / rightangincirc.T < prev   
Encoding:
Text File  |  1994-08-02  |  751 b   |  22 lines
  1. .geometry "version 0.1";
  2. v4 = .free(-0.269494, -0.017784, "1");
  3. v5 = .free(0.857729, -0.023256, "3");
  4. v6 = .v.vvmid(v4, v5);
  5. c1 = .c.vv(v6, v5);
  6. v7 = .vonc(c1, 0.446238, 0.522181, .plus, "2");
  7. l1 = .l.vv(v4, v7);
  8. l2 = .l.vv(v7, v5);
  9. l3 = .l.vv(v5, v4);
  10. len = .len.vv(v4, v7, "l12");
  11. len1 = .len.vv(v5, v7, "l23");
  12. len2 = .len.vv(v4, v5, "diam");
  13. l11 = .len.times(len, len);
  14. l22 = .len.times(len1, len1);
  15. l33 = .len.times(len2, len2, .red, "diam*diam");
  16. sum = .len.plus(l22, l11, .red, "l12*l12+l23*l23");
  17. .text("An angle inscribed in a semi-circle is a right angle.");
  18. .text("");
  19. .text("This theorem is illustrated by showing that the two sides and the");
  20. .text("diameter of the circle satisfy the conditions for the pythagorean");
  21. .text("theorem.");
  22.